Converse Ackermann Property and Minimal Negation

A logic S has the Converse Ackermann Property (CAP) if non-necessitive propositions are not derivable in S from necessitive ones. We show in this paper how to introduce minimal negation in positive logics with the CAP. Relational ternary semantics are provided for all the logics considered in this paper

Minimal Negation in the Ternary Relational Semantics

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered

A Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

The aim of this paper is to provide a Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation” Π ′ and Π ′′ . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Π ′ and Π ′′ are proved. A brief discussion on Π ′ , Π ′′ and paraconsistency is included

Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency

Converse Ackermann property and constructive negation defined with a negation connective

The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC

A class of simpler logical matrices for the variable-sharing property

In our paper “A general characterization of the variable-sharing property by means of logical matrices”, a general class of so-called “Relevant logical matrices”, RMLs, is defined. The aim of this paper is to define a class of simpler Relevant logical matrices RMLs′serving the same purpose that RMLs, to wit: any logic verified by an RML′has the variable-sharing property and related properties predicable of the logic of entailment E and of the logic of relevance R

El sistema Bp+ : una lógica positiva mínima para la negación mínima

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósi-to de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+. “Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of the many possible negation extensions of Bp+ are commented

A modal restriction of R-Mingle with the variable-sharing property

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E

Matter-antimatter asymmetry without departure from thermal equilibrium

We explore the possibility of baryogenesis without departure from thermal equilibrium. A possible scenario is found, though it contains strong constraints on the size of the $CPT$ violation ($CPTV$) effects and on the role of the $B$ (baryon number) nonconserving interactions which are needed for it.Comment: Revtex, 4page

A elección de opcións académicas no bacharelato e na formación profesional desde unha perspectiva de xénero

[Resumo] o traballo que presentamos pódese incluir dentro dos estudios sobre a educación dos xéneros xa que, o seu propósito, é analizar as diferencias académicas entre mozos e mozas cunha finalidade de recoñecemento que nos axude a entender as súas eleccións académico-profesionais. As cuestións que plantexamos e que tentamos analizar son dúas, en primeiro lugar comprobar si hai diferencias nas opcións académicas elexidas nas ensinanzas medias para mozos e mozas da Comunidade Autónoma Galega; e en segundo lugar, ver se as opcións elexidas se identifican cos roles tradicionais atribuídos ó xénero. o traballo consta de dúas partes, unha parte teórica na que definimos os distintos constructos do estudio e na que analizamos a opcionalidade desde unha vertente de xénero e, unha parte descritiva a partir dos datos que proporciona a Consellería de Educación da Xunta de Galici